System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
451	Pathnames Quick-Start & Quick-Reference Gene Michael Stover created Sunday, 2002 September 1 updated Wednesday, 2005 February 2 2 Add to Reading List Source URL: cybertiggyr.com Language: English - Date: 2014-06-08 03:13:48 Functional languages Lisp programming language Common Lisp Cross-platform software Lisp Working directory File system Slash Du Computing Software engineering Computer programming
452	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering
453	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Theoretical computer science Object-oriented programming Programming language theory Polymorphism Subtype polymorphism International Colloquium on Automata Languages and Programming Type system E Type theory Data types Software engineering
454	GAMS Data Exchange API System and Reference Manual, created onCopyright (cGAMS Development Corporation. All rights reserved. GAMS Data Exchange API Add to Reading List Source URL: gams.com Language: English - Date: 2014-12-22 04:53:24 Scanning laser polarimetry Endianness String Extensible Storage Engine Pascal Software engineering Programming language theory Computing Data types Primitive types
455	Automatic Dimension Inference and Checking for Object-Oriented Programs Sudheendra Hangal and Monica S. Lam Computer Science Department Stanford University, CA 94305 {hangal,lam}@cs.stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2010-05-01 03:11:59 Computing Programming language theory Dimensional analysis Measurement Array data type Dimension Array data structure Type inference Type system Data types Type theory Software engineering
456	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
457	Operating System Development with ATS Work in Progress Matthew Danish Hongwei Xi Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-01-25 12:25:56 Type theory Functional languages Data types Cross-platform software ATS C dynamic memory allocation Kernel C Type system Computing Software engineering Programming language theory
458	AUSTRALASIAN JOURNAL OF ENGINEERING EDUCATION Co-Editors: Add to Reading List Source URL: www.aaee.com.au Language: English - Date: 2007-10-18 21:29:24 Cross-platform software Java applet Java programming language Virtual machine Java X Window System Applet Web-based simulation Remote experiment Computing Software Java platform
459	by Daniel E. Singer Dan has been doing a mix of programming and system administration sinceHe is currently a systems Add to Reading List Source URL: kinzler.com Language: English - Date: 1998-06-02 17:29:35 Unix JavaScript Form Scripting language Web page Online help HTML Shell Comment Computing Software World Wide Web
460	A Tutorial For Creating and Publishing Open Source Lisp Software Robert Smith Secure Outcomes IncEvergreen Pkwy Ste 200 Evergreen, COUSA Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-09-25 21:58:30 Functional languages Lisp programming language Distributed revision control systems Another System Definition Facility Common Lisp Lisp Defun Average Mercurial Computer programming Computing Software

UPDATE